School of Computer Science BCS accreditation 2021 - 2026

Computer Systems Engineering BEng (Hons) - 3.1.4 Knowledge and understanding of mathematical and/or statistical principles

COMP11120 Mathematical Techniques for Computer Science

The course consists of teaching such mathematical principles.

Assesement : Examination, Individual coursework

COMP11212 Fundamentals of Computation

The course exposes students to mathematical treatments of basic topics such as computability and complexity. It also gives experience in defining and using formal systems and notations (e.g. grammars), and reasoning about such systems.

Assesement : Examination, Individual coursework

COMP12111 Fundamentals of Computer Engineering

Basic Boolean logic and binary arithmetic and the application to the design of digital systems.

Assesement : Examination, Lab work

COMP13212 Data Science

The course covers statistical principles, including quantification of uncertainty and hypothesis testing. Probabilistic reasoning including Bayesian reasoning is covered.

Assesement : Examination, Lab work

COMP15111 Fundamentals of Computer Architecture

Theoretical analysis, algebra and statistics is fundamental to the course.

Assesement : Examination, Lab work

COMP25212 System Architecture

Theoretical analysis and statistics is fundamental to the course.

Assesement : Examination, Lab work

COMP26020 Programming Languages & Paradigms

Some mathematical formalism in relation to languages and compilers is introduced to illustrate key concepts

Assesement : Examination

COMP26120 Algorithms and Data Structures

The course relies on considerable mathematical foundations, for performance analysis and correctness arguments.

Assesement : Examination, Individual coursework

COMP30040 Third Year Project Laboratory

Evaluation of some projects may require robust statistical analysis. Some projects require significant amounts of applied maths and logic.

Assesement : Individual coursework